Charles University in Prague - PDFSEARCH.IO - Document Search Engine

Charles University in Prague
Results: 481

#	Item
71	TeamUFAL: WSD+EL as Document Retrieval∗ Petr Fanta, Roman Sudarikov, Ondˇrej Bojar Charles University in Prague Faculty of Mathematics and Physics Institute of Formal and Applied Linguistics Add to Reading List Source URL: alt.qcri.org Language: English - Date: 2015-05-06 14:57:33
72	A logical dictionary with granular process definitions Michal Švarný, Charles University in Prague Adam Pease, Hong Kong Polytechnic University and Articulate Software Abstract An underexplored topic in computational l Add to Reading List Source URL: www.adampease.org Language: English - Date: 2013-08-25 05:14:56
73	Findings of the 2013 Workshop on Statistical Machine Translation Ondˇrej Bojar Charles University in Prague Christian Buck University of Edinburgh Add to Reading List Source URL: cs.jhu.edu Language: English - Date: 2013-08-07 14:50:16
74	Validating Plans with Durative Actions via Integrating Boolean and Numerical Constraints Roman Barták Charles University in Prague, Faculty of Mathematics and Physics Institute for Theoretical Computer Science Malostran Add to Reading List Source URL: iti.mff.cuni.cz Language: English - Date: 2016-02-04 05:53:36
75	Abstract Path Planning for Multiple Robots: An Empirical Study Pavel Surynek Charles University in Prague Faculty of Mathematics and Physics Department of Theoretical Computer Science and Mathematical Logic Malostranské Add to Reading List Source URL: iti.mff.cuni.cz Language: English - Date: 2016-02-04 05:53:38
76	Minimal Obstructions for Partial Representations of Interval Graphs Pavel Klav´ık1,∗ and Maria Saumell2,† 1 Computer Science Institute, Charles University in Prague, Add to Reading List Source URL: iti.mff.cuni.cz Language: English - Date: 2016-02-04 05:53:39
77	Charles University in Prague Faculty of Mathematics and Physics Master Thesis Pavel Klav´ık Add to Reading List Source URL: iti.mff.cuni.cz Language: English - Date: 2016-02-04 05:53:38
78	Reconstruction of the Mizar Type System in the HOL Light System O. Kunˇcar Charles University, Faculty of Mathematics and Physics, Prague, Czech Republic. Abstract. The Mizar system is a system for formalization of mat Add to Reading List Source URL: ktiml.mff.cuni.cz Language: English - Date: 2010-09-13 16:47:57
79	The Department of Russian and East European Studies, Faculty of Social Sciences, Charles University in Prague invites you to a lecture and discussion with Add to Reading List Source URL: www.fsv.cuni.cz Language: English - Date: 2015-10-05 10:14:05 Steven Pifer Pifer Ukraine Annexation of Crimea by the Russian Federation Eastern Europe Forms of government Geography of Europe
80	Changing Computing Paradigms Towards Power Efficiency Pavel Klavík1 , A. Cristiano I. Malossi2 , Costas Bekas2 , Alessandro Curioni2 1 Charles University in Prague, Add to Reading List Source URL: iti.mff.cuni.cz Language: English - Date: 2016-02-04 05:53:39

UPDATE